The Double Powerlocale and Exponentiation: a Case Study in Geometric Logic
نویسنده
چکیده
If X is a locale, then its double powerlocale PX is defined to be PU(PL(X)) where PU and PL are the upper and lower powerlocale constructions. We prove various results relating it to exponentiation of locales, including the following. First, if X is a locale for which the exponential S exists (where S is the Sierpinski locale), then PX is an exponential S X . Second, if in addition W is a locale for which PW is homeomorphic to S , then X is an exponential S . The work uses geometric reasoning, i.e. reasoning stable under pullback along geometric morphisms, and this enables the locales to be discussed in terms of their points as though they were spaces. It relies on a number of geometricity results including those for locale presentations and for powerlocales.
منابع مشابه
The connected Vietoris powerlocale
The Vietoris powerlocale V X is a point-free analogue of the Vietoris hyperspace. In this paper we introduce and study a sublocale V X whose points are those points of V X that (considered as sublocales of X) satisfy a constructively strong connectedness property. V c is a strong monad on the category of locales. The strength gives rise to a product map × : V X × V Y → V (X × Y ), showing that ...
متن کاملInvestigation of thermal behavior of traditional geometric patterns (khavoon chini) in the external hollow walls of Dezful double-walled walls in order to revive cultural identity
Abstract Traditional geometric patterns in architecture and decoration are rooted in the cultural identity of each region and in cities such as Dezful, they display its special cultural and identity characteristics. In Dezful, the geometric patterns of the bricks, known as the khavoon chini are one of the hallmarks of the citychr('39')s cultural identity. Due to the hot climate of Dezful, the ...
متن کاملInvestigating the Functional Efficiency in the Architecture of Houses in the First Pahlavi Period of Iran based on Syntactic Indicators of Space in Fuzzy Logic (Case Study: Shiraz City)
The concept of functional efficiency of space in the architecture of residential houses, It is to minimize the influence of unrelated activities on each other and also the spatial organization of related activities in Is next to each other; So that their proper productivity depends on optimal service to each other; Accordingly, this study seeks to investigate the degree of functional efficiency...
متن کاملEfficient elliptic curve cryptosystems
Elliptic curve cryptosystems (ECC) are new generations of public key cryptosystems that have a smaller key size for the same level of security. The exponentiation on elliptic curve is the most important operation in ECC, so when the ECC is put into practice, the major problem is how to enhance the speed of the exponentiation. It is thus of great interest to develop algorithms for exponentiation...
متن کاملPositivity relations on a locale
This paper analyses the notion of a positivity relation of Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finall...
متن کامل